CAV '97 : computer aided verification (Haifa, June 22-25, 1997)Grumberg, Orna.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63166-6, XI, 486 p, isbn 3-540-63166-6Conference Proceedings

A compositional rule for hardware design refinementMCMILLAN, K. L.Lecture notes in computer science. 1997, pp 24-35, issn 0302-9743, isbn 3-540-63166-6Conference Paper

HYTECH: A model checker for hybrid systemsHENZINGER, T. A; HO, P.-H; WONG-TOI, H et al.Lecture notes in computer science. 1997, pp 460-463, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Practical challenges for industrial formal verification toolsMARSCHNER, F. E.Lecture notes in computer science. 1997, pp 1-2, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Parallelizing the Murφ verifierSTERN, U; DILL, D. L.Lecture notes in computer science. 1997, pp 256-267, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Formal verification: Applications & case studiesROWE, M.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63166-6, p. 11Conference Paper

Efficient detection of vacuity in ACTL formulasBEER, I; BEN-DAVID, S; EISNER, C et al.Lecture notes in computer science. 1997, pp 279-290, issn 0302-9743, isbn 3-540-63166-6Conference Paper

UPPAAL : Status & developmentsLARSEN, K. G; PETTERSSON, P; YI, W et al.Lecture notes in computer science. 1997, pp 456-459, issn 0302-9743, isbn 3-540-63166-6Conference Paper

RuleBase : Model checking at IBMBEER, I; BEN-DAVID, S; WOLFSTHAL, Y et al.Lecture notes in computer science. 1997, pp 480-483, issn 0302-9743, isbn 3-540-63166-6Conference Paper

The PEP toolGRAHLMANN, B.Lecture notes in computer science. 1997, pp 440-443, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Deadlock checking using net unfoldingsMELZER, S; RÖMER, S.Lecture notes in computer science. 1997, pp 352-363, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Efficient modeling of memoryarrays in symbolic simulationVELEV, M; BRYANT, R. E; JAIN, A et al.Lecture notes in computer science. 1997, pp 388-399, issn 0302-9743, isbn 3-540-63166-6Conference Paper

On combining formal and informal verificationYUAN, J; SHEN, J; ABRAHAM, J et al.Lecture notes in computer science. 1997, pp 376-387, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Towards a mechanization of cryptographic protocol verificationBOLIGNANO, D.Lecture notes in computer science. 1997, pp 131-142, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Automatic datapath extraction for efficient usage of HDDKAMHI, G; WEISSBERG, O; FIX, L et al.Lecture notes in computer science. 1997, pp 95-106, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Construction of abstract state graphs with PVSGRAF, S; SAIDI, H.Lecture notes in computer science. 1997, pp 72-83, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Relaxed visibility enhances partial order reductionKOKKARINEN, I; PELED, D; VALMARI, A et al.Lecture notes in computer science. 1997, pp 328-339, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Some progress in the symbolic verification of timed automataBOZGA, M; MALER, O; PNUELI, A et al.Lecture notes in computer science. 1997, pp 179-190, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Weak bisimulation for fully probabilistic processesBAIER, C; HERMANNS, H.Lecture notes in computer science. 1997, pp 119-130, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Model checking and transitive-closure logicIMMERMAN, N; VARDI, M. Y.Lecture notes in computer science. 1997, pp 291-302, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Model checking in a microprocessor design projectBARRETT, G; MCISAAC, A.Lecture notes in computer science. 1997, pp 214-225, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Programs with quasi-stable channels are effectively recognizableCECE, G; FINKEL, A.Lecture notes in computer science. 1997, pp 304-315, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Some thoughts on statecharts, 13 years laterHAREL, D.Lecture notes in computer science. 1997, pp 226-231, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Efficient model checking using tabled resolutionRAMAKRISHNA, Y. S; RAMAKRISHNAN, C. R; RAMAKRISHNAN, I. V et al.Lecture notes in computer science. 1997, pp 143-154, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Module checking revisitedKUPFERMAN, O; VARDI, M. Y.Lecture notes in computer science. 1997, pp 36-47, issn 0302-9743, isbn 3-540-63166-6Conference Paper